/*
 * FinalField.java
 *
 * Copyright 2007 Christoph Csallner and Yannis Smaragdakis.
 */
package edu.gatech.cc.cnc.examples;

/**
 * @author csallner@gatech.edu (Christoph Csallner)
 */
public class FinalField {
  
  public static final int two = 2;
  public static final int zero = 0;
  
  
  /**
   * Never divides by zero, no ESC warning. 
   */
  public static int divideByTwo(int p) {
    return p / two;
  }
  
  
  /**
   * Always divides by zero, ESC warns. 
   */
  public static int divideByZero(int p) {
    return p / zero;
  }
}
